#include "kernel/types.h"
#include "kernel/net.h"
#include "kernel/stat.h"
#include "user/user.h"

static void
ping()
{
  uint32 dst;
  dst = (10 << 24) | (0 << 16) | (2 << 8) | (2 << 0);

  icmpping(dst);

  printf("icmpping done\n");
}

int
main(int argc, char *argv[])
{
  ping();
  exit(0);
}
